home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c-part1 / 9778 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  1.9 KB
  1. Path: news.win.tue.nl!usenet
  2. From: Bart Knaack <bknaack@win.tue.nl>
  3. Newsgroups: comp.lang.c
  4. Subject: constraint solver
  5. Date: Wed, 13 Mar 1996 09:03:36 +0100
  6. Organization: Eindhoven University of Technology, The Netherlands
  7. Message-ID: <31468158.2781E494@win.tue.nl>
  8. NNTP-Posting-Host: wsinti10.win.tue.nl
  9. Mime-Version: 1.0
  10. Content-Type: text/plain; charset=us-ascii
  11. Content-Transfer-Encoding: 7bit
  12. X-Mailer: Mozilla 2.0 (X11; I; SunOS 4.1.3_U1 sun4m)
  13.  
  14. Hello all,
  15.  
  16. I'm currently working on a research project involving Realtime
  17. modelchecking.
  18.  
  19. As Sub-Problem I encountered the following constraint problem.
  20.  
  21. I have a vector of non-negative, real-valued variables X
  22. (X^T=(x1,x2,x3,x4.....,xn)), a vector of integer constants C
  23. (C^T=(c1,c2,c3,c4.........,cm)) and an integer matrix A=
  24.  
  25. / a11 a12 a13 a14 a15 ...........a1n\
  26. | a21 a22 a23 a24 a25 ...........a2n|
  27. |                 ....              |
  28. \ am1 am2 am3 ...................amn/
  29.  
  30. where the aij are -1, 0 or 1
  31.  
  32. This matrix is sparsely filled (at most 5 non-zero entries per row),
  33. but there is no definite structure and it can become moderately large
  34. (hoe groot?).
  35.  
  36. I am now looking for a package that can efficiently
  37.  
  38. a. check whether there is a vector X>=0 such that AX<C
  39.  
  40. b. eliminate a variable (or a set of variables simultaneously)
  41.  
  42. Preferably written in C, source code included.
  43.  
  44. Does any one know of such packages?
  45.  
  46. Replies preferably by e-mail
  47.  
  48. Thanx in advance,
  49.  
  50. Bart Knaack
  51. Ph.D-student Computer science
  52. EUT (Eindhoven University of Technology)
  53.  
  54.  
  55. -- 
  56.                 Look at state of the (B)art at:
  57.              http://www.win.tue.nl/win/cs/fm/bknaack/
  58. ----------------------------------------------------------------------
  59. A signature is the most over estimated piece of information in a mail,
  60. people spend weeks to think of a good one and then don't care to really 
  61. read the ones other people have thought up, so I won't. (for now!! )
  62.